Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: генпродюсер — это что-то нейтральное, положительное или отрицательное?
Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов.
На рубеже XIX–XX вв. началось бурное развитие математической логики.
Учёный хотел решить сложную задачу с помощью математической логики.